TSTP Solution File: GRA059^1 by SInE---0.4